41![Fuzzgrind: an automatic fuzzing tool Fuzzgrind: an automatic fuzzing tool](https://www.pdfsearch.io/img/608d25885106e1793192878c89c8dc9c.jpg) | Add to Reading ListSource URL: esec-lab.sogeti.comLanguage: English - Date: 2016-07-01 12:08:46
|
---|
42![Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to](https://www.pdfsearch.io/img/870775f0c042d2a3b72a81f5963db335.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2016-02-21 20:25:08
|
---|
43![Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu](https://www.pdfsearch.io/img/8a02e327333706b0162b20e1dd1790a5.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
44![Welcome to today’s ACM SIGSOFT Webinar Transferring Software Testing Tools to Practice • The presentation starts at the top of the hour and lasts 60 minutes. Slides will advance automatically throughout the event. Yo Welcome to today’s ACM SIGSOFT Webinar Transferring Software Testing Tools to Practice • The presentation starts at the top of the hour and lasts 60 minutes. Slides will advance automatically throughout the event. Yo](https://www.pdfsearch.io/img/200ad1f9e6dcbe14e08eacf5578f5ada.jpg) | Add to Reading ListSource URL: learning.acm.orgLanguage: English - Date: 2016-08-05 15:49:47
|
---|
45![Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly](https://www.pdfsearch.io/img/69bfbfcc06874808814da6855f345365.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-03-08 07:04:45
|
---|
46![Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London](https://www.pdfsearch.io/img/e07adc3975fd91638d4281f1c3418dd2.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-03-08 07:04:45
|
---|
47![EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic,](https://www.pdfsearch.io/img/4fe248322683717b1544f14c7d38d24f.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-03-08 07:04:45
|
---|
48![Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION](https://www.pdfsearch.io/img/4b4b20037374282f8602241bfb3f60b2.jpg) | Add to Reading ListSource URL: conferences.sigcomm.orgLanguage: English - Date: 2016-07-31 22:09:03
|
---|
49![Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu](https://www.pdfsearch.io/img/7063404af31730a8f481e227411d0f55.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
50![RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic](https://www.pdfsearch.io/img/904a0b9dfa61fb9c03f16fd6f1029a56.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-03-08 07:04:45
|
---|